(assert (or (= 0 1) (> 0 0)))
(check-sat)
